Discriminator logics (Research announcement)
نویسندگان
چکیده
منابع مشابه
Geometric Public Announcement Logics
In this paper, we consider public announcement logic (PAL, henceforth) in several different geometric models, and prove its completeness of those models. Moreover, we also consider some applications of our ideas in different fields varying from game theory to epistemic logic. What makes our work novel is the fact that PAL has never been investigated in geometric and topological models with furt...
متن کاملA Tableau Method for Public Announcement Logics
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose a labelled tableau-calculus for this logic. We also present an extension of the calculus for a logic of arbitrary announcements.
متن کاملPublic Announcement Logics with Constrained Protocols
Public announcement logic (PAL) is a paradigm case of dynamic epistemic logic, which models how agents’ epistemic states change when pieces of information are communicated publicly. PAL extends epistemic logic with the operator [A], where the intended reading of [A]φ is “After a public announcement that A, φ holds.” This logic has recently received two improvements. One improvement, studied in ...
متن کاملResearch Announcement: Unbounded Orbits for Outer Billiards
In [S] we proved that the outer billiards system defined on the Penrose kite has an unbounded orbit. In this article we will sketch some of the main ideas in the proof, and describe in detail a very convincing computer demonstration of our result.
متن کاملNational Cooperative Highway Research Program - Announcement
The National Cooperative Highway Research Program (NCHRP) is supported on a continuing basis by funds from participating member departments of the American Association of State Highway and Transportation Officials (AASHTO), with the cooperation and support of the Federal Highway Administration, U.S. Department of Transportation. The NCHRP is administered by the National Research Council’s Trans...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2014
ISSN: 1448-5052
DOI: 10.26686/ajl.v11i2.2020